Problem Set 6 1. The pairwise distance matrix is: 2 Taxon 1

Source URL: sites.biology.duke.edu

• Tree
• Maximum parsimony
• Ternary tree
• Computational phylogenetics
• Phylogenetics
• Knowledge representation

Sage Reference Manual: Numerical Optimization Release 6.7 The Sage Development Team

Source URL: doc.sagemath.org

• Operations research
• Dynamic programming
• Cryptography
• Combinatorial optimization
• Knapsack problem
• Subset sum problem
• Sequence
• Exponentiation
• Linear programming
• Mathematics
• Theoretical computer science
• Computational complexity theory

BRICS Basic Research in Computer Science BRICS DS-97-3 T. Husfeldt: Dynamic Computation

Source URL: www.brics.dk

• Complexity classes
• Algorithm
• Mathematical logic
• Model of computation
• PP
• Dynamic problem
• P
• ACC0
• Circuit complexity
• Theoretical computer science
• Computational complexity theory
• Applied mathematics

On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems Carsten Lutz1 and Frank Wolter2 1 2

Source URL: www.informatik.uni-bremen.de

• Finite model theory
• Descriptive complexity
• Computational complexity theory
• FO
• Constraint programming
• Constraint satisfaction problem
• Conjunctive query
• SO
• HO
• Theoretical computer science
• Applied mathematics
• Complexity classes

Efficient Sensor Placement for Surveillance Problems⋆ Pankaj K. Agarwal, Esther Ezra, and Shashidhara Ganjugunte Dept. of Comp. Sci., Duke University, Durham, NCAbstract. We study the problem of covering a

Source URL: www.cims.nyu.edu

• Computational geometry
• Analysis of algorithms
• Ε-net
• Time complexity
• Art gallery problem
• Algorithm
• Randomized algorithm
• Sensor
• SL
• Theoretical computer science
• Computational complexity theory
• Applied mathematics

Discrete Comput Geom 6:Geometry Discrete & i

Source URL: www.cs.duke.edu

• Linear programming
• Convex optimization
• Operations research
• Computational geometry
• Randomized algorithm
• Algorithm
• Vertex enumeration problem
• Convex polytope
• Mathematics
• Geometry
• Theoretical computer science

. Joux’s Recent Index Calculus Results . Part I: Introduction to the Computational Discrete Logarithm Problem

Source URL: www.untruth.org

REDO — Redesigning Logical Syntax • What is it about ? Proofs are everywhere! — We are trying to improve them. • What is the problem ? Remove bureaucracy but keep the computational content.

Source URL: www.lix.polytechnique.fr

The role of arousal in two-resource problem tasks for humanoid service robots Kiril Kiryazov, Robert Lowe, Christian Becker-Asano and Marco Randazzo* Abstract— A computational architecture of emotion is presented which

Source URL: www.tech.plym.ac.uk

Spring 2015 BIL 721: Computational Photography Instructor: Asst. Prof. Aykut Erdem PROBLEM ASSIGNMENT 1

Source URL: web.cs.hacettepe.edu.tr